First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
391	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logical syntax Formal languages Well-formed formula If and only if Logical connective Function Linear temporal logic First-order logic Logic Mathematics Mathematical logic
392	Introduction UTP Designs with angelic nondeterminism Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-04-03 07:33:05 Predicate logic Model theory First-order logic Predicate Determinism Function Logic Mathematical logic Mathematics
393	Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description: Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2015-03-01 16:55:18 Grammar Science Predicate logic Quantification Discourse representation theory Lambda calculus Montague grammar Intensional logic First-order logic Semantics Logic Linguistics
394	Formal Specifications of Security Policy Models Wolfgang Thumser T-Systems GEI GmbH ======! T§==Systems= Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 11:59:09 Evaluation Computer security ISO standards Common Criteria First-order logic Mereology Predicate logic Mathematical logic Logic
395	Proving Goal Achievability Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:16:26 Model theory Logic programming Situation calculus Function First-order logic Interpretation Mathematical logic Logic Mathematics
396	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
397	Lifted MAP Inference for Markov Logic Networks Somdeb Sarkhel, Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-02-25 21:05:55 Propositional calculus Theoretical computer science Boolean algebra Artificial intelligence Markov logic network Propositional variable Resolution Boolean satisfiability problem First-order logic Logic Mathematical logic Mathematics
398	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
399	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
400	An Integer Polynomial Programming Based Framework for Lifted MAP Inference Somdeb Sarkhel, Deepak Venugopal Computer Science Department The University of Texas at Dallas {sxs104721,dxv021000}@utdallas.edu Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:57:33 Applied mathematics Artificial intelligence Predicate logic Mathematical logic Graphical models Markov logic network First-order logic Algorithm Atomic formula Mathematics Theoretical computer science Logic

UPDATE